Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
221	Continuous Learning Joshua Kerievsky Founder, Programmer Industrial Logic, IncFillmore, Suite 206 San Francisco, CA 94123 Add to Reading List Source URL: www.industriallogic.com Language: English - Date: 2012-12-13 05:19:23 Agile software development Extreme programming Educational psychology Learning organization Educational technology Windows XP Code refactoring Code smell Extreme programming practices
222	25th Anniversary Issue Reconsiderations Nils J. Nilsson ■ In 1983, I gave the AAAI president’s address titled Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2006-02-23 13:22:58 Artificial intelligence Philosophy of artificial intelligence Programming paradigms Computational neuroscience Neats vs. scruffies Logic programming Knowledge representation and reasoning Frame language Nils John Nilsson Intelligence Nouvelle AI Artificial general intelligence
223	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
224	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
225	Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places11.di.fc.ul.pt Language: English - Date: 2011-02-13 18:15:54 Process calculi Concurrent computing Distributed computing Actor model -calculus Calculus Bunched logic Parallel computing Resource fork Thread Resource management Concurrency
226	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter
227	U UNPLUGGED Graph Paper Programming Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used to delve deeper when time allows. Add to Reading List Source URL: code.org Language: English - Date: 2016-08-19 22:19:30 Algorithm Mathematical logic Theoretical computer science Graph Graph coloring Pedagogy
228	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
229	A New Concurrency Model for Scala Based on a Declarative Dataflow Core Sébastien Doeraene Peter Van Roy Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Concurrent programming languages Functional languages Programming paradigms Functional programming Procedural programming languages Oz Futures and promises Scala Monad Concurrent computing Logic programming Actor model
230	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2016-04-27 03:06:22 Symposium on Principles of Programming Languages Programming Language Design and Implementation ACM SIGACT ACM Transactions on Programming Languages and Systems Symposium on Logic in Computer Science SIGPLAN

UPDATE